Nuprl Definition : scheme-constant 11,40

scheme-constant(R) == <0, [], nmr.R
latex


Definitions#$n, <ab>, [], x.A(x)
FDL editor aliasesscheme-constant

origin